#include<stdio.h>
int main(){
  int i  = 0;
  while(i <= 10){
    printf("%d : Hello World\n");
    ++i;
  }
  return 0;
}
